Compact and majorizable functionals of finite type
نویسندگان
چکیده
منابع مشابه
Monotone Majorizable Functionals
Several properties of monotone functionals (MF) and monotone majorizable functionals (MMF) used in the earlier work by the author and van de Pol are proved. It turns out that the terms of the simply typed lambda-calculus deene MF, but adding primitive recursion, and even monotonic primitive recursion changes the situation: already Z:Z(1 ? sg) is not MMF. It is proved that extensionality is not ...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Recursion in total functionals of finite type
© Foundation Compositio Mathematica, 1977, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http:// http://www.compositio.nl/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier ...
متن کاملHigh Order Compact Finite Difference Schemes for Solving Bratu-Type Equations
In the present study, high order compact finite difference methods is used to solve one-dimensional Bratu-type equations numerically. The convergence analysis of the methods is discussed and it is shown that the theoretical order of the method is consistent with its numerical rate of convergence. The maximum absolute errors in the solution at grid points are calculated and it is shown that the ...
متن کاملContinuity of Functionals ..and Compact Action of Operators
This thesis deals with two topics in Functional Analysis. The first three chapters are concerned with positive linear functionals on Banach *-algebras, whil^ the last two deal with operators that act compactly on an algebra of operators.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1989
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2275030